Parameter Free Induction and Reeection

Induction Rules, Reeection Principles, and Provably Recursive Functions

A well-known result of D. Leivant states that, over basic Kalmar elementary arithmetic EA, the induction schema for n formulas is equivalent to the uniform reeection principle for n+1 formulas. We show that fragments of arithmetic axiomatized by various forms of induction rules admit a precise axiomatization in terms of reeection principles as well. Thus, the closure of EA under the induction r...

Robust Backstepping Control of Induction Motor Drives Using Artificial Neural Networks and Sliding Mode Flux Observers

In this paper, using the three-phase induction motor fifth order model in a stationary twoaxis reference frame with stator current and rotor flux as state variables, a conventional backsteppingcontroller is first designed for speed and rotor flux control of an induction motor drive. Then in orderto make the control system stable and robust against all electromechanical parameter uncertainties a...

Hecke Algebra Solutions to the Reflection Equation

We construct solutions to Sklyanin's reeection equation in the case in which the bulk Yang-Baxter solution is of Hecke algebra type. Each solution constitutes an extension of the Hecke algebra together with a spectral parameter dependent boundary operator, K(). We solve for the deening relations of the extension, and for the spectral parameter dependence of the boundary operator. Finding concre...

Estimation of Induction Motor Speed by EKF In Stationary Frame and Use of Rotor Flux and Study of Parameter Variations

Estimation of Induction Motor Speed by EKF In Stationary Frame and Use of Rotor Flux and Study of Parameter Variations